46.99/47.31	unsat
