45.72/47.94	unsat
