18.84/20.64	unsat
