47.09/47.29	unsat
