47.01/47.94	unsat
