17.79/18.68	unsat
