47.13/49.36	unsat
