18.69/21.08	unsat
