5.12/6.76	unsat
