5.30/5.76	unsat
