5.48/8.32	unsat
