10.87/12.87	unsat
