49.64/52.98	unsat
