46.68/47.59	unsat
