5.40/6.76	unsat
