47.78/48.59	unsat
