47.19/49.41	unsat
