10.87/14.32	unsat
