5.18/8.76	unsat
