5.23/5.76	unsat
