42.70/46.98	unsat
