17.64/20.14	unsat
