12.45/13.24	unsat
