17.85/19.28	unsat
