18.85/21.66	unsat
