49.18/53.91	unsat
