6.48/12.32	unsat
