47.66/50.58	unsat
