13.81/22.43	unsat
