10.27/11.32	unsat
