39.90/46.47	unsat
