19.06/21.08	unsat
