1.86/6.32	unsat
