17.83/20.14	unsat
