46.99/47.14	unsat
