3.47/3.55	unsat
