46.90/49.50	unsat
