12.77/13.03	unsat
