12.97/13.03	unsat
