46.98/48.04	unsat
