12.87/15.10	unsat
