12.87/15.98	unsat
