49.80/54.18	unsat
