18.34/20.47	unsat
