55.50/57.79	unsat
