46.89/47.04	unsat
