1.86/2.13	unsat
