47.80/50.91	unsat
