18.86/21.77	unsat
