42.80/42.98	unsat
