5.98/8.76	unsat
