5.18/6.76	unsat
