47.03/49.30	unsat
