17.77/22.08	unsat
