18.34/20.16	unsat
