18.85/21.41	unsat
