6.87/11.16	unsat
