48.05/53.58	unsat
