12.17/13.03	unsat
