47.29/49.44	unsat
