49.95/52.38	unsat
