18.44/19.61	unsat
