18.08/20.03	unsat
