47.11/50.03	unsat
