46.89/47.55	unsat
