18.78/21.15	unsat
