18.86/21.05	unsat
