5.79/8.18	unsat
