18.92/20.55	unsat
