18.33/20.66	unsat
